Add to ORKGIn this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a trivialit
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conject...
Now available in paperback, this monograph is a self-contained exposition of the main results and me...
In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is prop...
In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic lo...
The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions ...
This book provides students of mathematics with the minimum amount of knowledge in logic and set the...
We prove some results in set theory as applied to general topology and model theory. In particular, ...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
Presents those methods of modern set theory most applicable to other areas of pure mathematics
We propose a tableau-like decision procedure for deciding the satisfiability of set-theoretical for...
Cantor thought of the principles of set theory or intuitive principles as universal forms that can a...
Admissible rules of a logic are those rules under which the set of theorems of the logic is closed. ...
The use of conventional logical connectives either in logic, in mathematics, or in both cannot deter...
ABSTRACT. Intuitive set theory is defined as the theory we get when we add the axioms, Monotonicity ...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conject...
Now available in paperback, this monograph is a self-contained exposition of the main results and me...
In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is prop...
In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic lo...
The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions ...
This book provides students of mathematics with the minimum amount of knowledge in logic and set the...
We prove some results in set theory as applied to general topology and model theory. In particular, ...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
Presents those methods of modern set theory most applicable to other areas of pure mathematics
We propose a tableau-like decision procedure for deciding the satisfiability of set-theoretical for...
Cantor thought of the principles of set theory or intuitive principles as universal forms that can a...
Admissible rules of a logic are those rules under which the set of theorems of the logic is closed. ...
The use of conventional logical connectives either in logic, in mathematics, or in both cannot deter...
ABSTRACT. Intuitive set theory is defined as the theory we get when we add the axioms, Monotonicity ...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conject...
Now available in paperback, this monograph is a self-contained exposition of the main results and me...